Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
781	Monthly new acquisitions list – during NovemberC ALL N UM : 185 MCC THE FOUR GREAT TEMPLES : BUDDHIST ARCHAEOLOGY, ARCHITECTURE, AND ICONS OF SEVENTH-CENTURY JAPAN / DONALD F. MCCALLUM. Add to Reading List Source URL: www.jpf.org.au Language: English - Date: 2015-03-08 11:44:58 Software engineering ALGOL 68 PEARL Japanese language Kanji Japanese architecture Template Attribute Language Procedural programming languages Programming language theory Computing
782	The Definition of Standard ML The Definition of Standard ML Robin Milner, Mads Tofte, and Robert Harper Add to Reading List Source URL: www.itu.dk Language: English - Date: 2007-07-23 09:36:22 Functional languages Procedural programming languages Robin Milner Robert Harper ML Mads Tofte Milner Cataloging Unit of alcohol Software engineering Programming language theory Computing
783	Programming in Standard ML (W ORKING D RAFT OF J UNE 28, Robert Harper Carnegie Mellon University Spring Semester, 2001 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2001-09-28 05:05:04 Procedural programming languages Functional languages Standard ML ML C Reference Software engineering Computing Programming language theory
784	Adding Wildcards to the Java Programming Language Mads Torgersen Christian Plesner Hansen Erik Ernst, and Peter von der Ahe´ University of Aarhus Add to Reading List Source URL: www.gafter.com Language: English - Date: 2004-01-14 14:05:32 Type theory Computer programming Polymorphism Data types Generic programming Covariance and contravariance Subtype polymorphism Parametric polymorphism Type system Software engineering Computing Object-oriented programming
785	Computer security  PLDI’06 Tutorial T1: Enforcing and Expressing Security with Programming Languages Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2006-06-11 03:17:49 Data types Type theory Association for Computing Machinery Programming Language Design and Implementation Trusted computing base Programming language Java Memory safety ALGOL 68 Computing Software engineering Programming language theory
786	Stephanie Weirich School of Engineering and Science, University of Pennsylvania Levine 510, 3330 Walnut St, Philadelphia, PA 19104  •  • October 10, 2014 Education Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-10-10 11:35:35 Type theory Functional programming Logic in computer science Dependently typed programming Data types International Conference on Functional Programming Dependent type ICFP Programming Contest POPLmark challenge Software engineering Computing Programming language theory
787	Curriculum Vitae Mads Tofte October 4, 2014 Born on April 20, 1959, in Lyngby, Denmark. Danish citizen. Married to Joan Campbell-Tofte. Vice Chancellor (“Rektor”), IT University of Copenhagen. Add to Reading List Source URL: www.itu.dk Language: English - Date: 2014-10-04 03:17:51 Fellows of the Royal Society Functional languages Procedural programming languages Mads Tofte Robin Milner Laboratory for Foundations of Computer Science Robert Harper ML SIGPLAN Software engineering Programming language theory Computing
788	Combining Proofs and Programs Stephanie Weirich University of Pennsylvania June 1, 2011 Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-06-03 10:59:23 Computing Dependent type Agda Ωmega Haskell Coq Epigram Type theory Functional programming Functional languages Software engineering Programming language theory
789	Operating System Development with ATS Work in Progress Matthew Danish Hongwei Xi Add to Reading List Source URL: cs-www.bu.edu Language: English - Date: 2010-01-25 12:25:56 Type theory Functional languages Data types Cross-platform software ATS C dynamic memory allocation Kernel C Type system Computing Software engineering Programming language theory
790	TAJ: Effective Taint Analysis of Web Applications Omer Tripp IBM Software Group Marco Pistoia Add to Reading List Source URL: www.cs.tau.ac.il Language: English - Date: 2010-09-02 06:19:16 Abstract data types Cross-platform software Procedural programming languages Static program analysis Program slicing Software maintenance Priority queue Pointer C Computing Software engineering Programming language theory

UPDATE